Knihy od autora Rayna Dimitrova

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Verification, Model Checking, and Abstract Interpretation

   Rayna Dimitrova, Ori Lahav, Sebastian Wolff | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1701 Kč

   Koupit
2. 

   Verification, Model Checking, and Abstract Interpretation

   Rayna Dimitrova, Ori Lahav, Sebastian Wolff | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1701 Kč

   Koupit
3. 

   Software Verification

   Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1299 Kč

   Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více